We begin by examining the first three axioms given in SST, the congruence axioms.
For all points x,y
xy \equiv yx